x86/EFI: be cautious about being handed control with CR4.PGE enabled
authorJan Beulich <jbeulich@suse.com>
Fri, 19 Aug 2016 15:04:03 +0000 (17:04 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 19 Aug 2016 15:04:03 +0000 (17:04 +0200)
commit9acb57de59ab544364d01f3871df510e63252720
tree5c8e9b1084bf631e9c6b982106b2f17b50ca494a
parentc5b4805bcd6bc749a8717e7406faa4a0e95468b4
x86/EFI: be cautious about being handed control with CR4.PGE enabled

To effect proper TLB flushing in that case we should clear CR4.PGE
before loading the new page tables.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/efi/efi-boot.h